书籍列表

Mathematics mechanization and applications 封面
Mathematics mechanization a...

作者：Dongming Wang ; X...
Automated deduction in geometry: 5th international workshop 封面
Automated deduction in geom...

作者：Hoon Hong ; Dongm...
Geometric computation volume 11 封面
Geometric computation volum...

作者：Falai Chen ; Dong...
Automated deduction in geometry: third international workshop 封面
Automated deduction in geom...

作者：Jürgen Richter-Ge...
返回首页